退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:适用于定理证明的高阶逻辑类别理论的基础,组合(共)数据类型
Dmitriy Traytel; Technische Universität München; Andrei Popescu; Jasmin Christian Blanchette;
机译:LPTP(逻辑程序定理证明者)的理论基础
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:用模态逻辑证明社会选择理论的经典定理
机译:高阶逻辑的基础,组合(Co)数据类型:应用于定理证明的类别理论
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:使用类别理论的可重用和可互操作的构面模型的基础
机译:高阶逻辑的基础,组合(共)数据类型:类别理论应用于定理证明
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:通用提议模态逻辑定理证明装置
机译:逻辑逻辑定理的证明方法
机译:模态逻辑定理证明方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。